ar X iv : 0 80 2 . 21 28 v 1 [ m at h . L O ] 1 5 Fe b 20 08 Perfect IFG - formulas
نویسنده
چکیده
IFG logic [1] is a variant of the independence-friendly logic of Hintikka and Sandu [3, 2]. We answer the question: " Which IFG-formulas are equivalent to ordinary first-order formulas? " We use the answer to show that the ordinary cylindric set algebra over a structure can be embedded into a reduct of the IFG-cylindric set algebra over the structure.
منابع مشابه
ar X iv : 0 80 1 . 07 10 v 2 [ m at h . C V ] 1 1 Fe b 20 08 KOPPELMAN FORMULAS AND THE ∂̄ - EQUATION ON ANALYTIC VARIETIES
Let Z be an analytic subvariety of pure codimension p of a pseudoconvex set X in C n. We introduce a formalism to generate weighted Koppelman formulas on Z that provide solutions to the ¯ ∂-equation. We prove that if φ is a smooth (0, q + 1)-form on Z with ¯ ∂φ = 0, then there is a smooth (0, q)-form ψ on Z reg with at most polynomial growth at Z sing such that ¯ ∂ψ = φ. The integral formulas a...
متن کاملar X iv : 0 80 1 . 48 21 v 2 [ he p - ph ] 2 8 Fe b 20 08 X ( 1835 ) and η ( 1760 ) observed by BES Collaboration
متن کامل
ar X iv : 0 80 2 . 38 39 v 1 [ m at h . G R ] 2 6 Fe b 20 08 Quadratic equations over free groups are NP - complete
We prove that the problems of deciding whether a quadratic equation over a free group has a solution is NP-complete
متن کاملar X iv : 0 80 2 . 25 80 v 1 [ m at h . G T ] 1 9 Fe b 20 08 3 - Dimensional Schlaefli Formula and Its Generalization
Several identities similar to the Schlaefli formula are established for tetrahedra in a space of constant curvature.
متن کاملar X iv : 0 80 2 . 36 29 v 1 [ gr - q c ] 2 5 Fe b 20 08 Bianchi models with vorticity : The type III bifurcation
We study the late-time behaviour of tilted perfect fluid Bianchi type III models using a dynamical systems approach. We consider models with dust, and perfect fluids stiffer than dust, and eludicate the late-time behaviour by studying the centre manifold which dominates the behaviour of the model at late times. In the dust case, this centre manifold is 3-dimensional and can be considered as a d...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008